Lógica simbólica para informáticos
Idioma: Español Detalles de publicación: Santa Fe de Bogotá (Colombia): Alfaomega Colombiana, 2005Descripción: 299 páginasTipo de contenido:- text
- no mediado
- volumen
- 9789701510728
- 005.1 IRAl
Contenidos:
Introducción a la lógica.-- Presentación de los sistemas lógicos.-- Lógica de proposiciones.-- Semántica.-- El lenguaje formal de la lógica de enunciados.-- Álgebra de boole y operadores booleanos.-- Tablas de verdad y funciones de verdad.-- Valoración y equivalencia lógica.-- Cálculo axiomático y propiedades formales.-- Lenguaje objeto y metalenguaje.-- Cálculo de deducción natural.-- Lógica de predicados.-- Cálculo Axiomático y propiedades formales formales.-- Cálculo de deducción natural.-- Extensiones de la lógica de predicados.-- Fundamentos de matemáticas
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca General En biblioteca | Fac de Sistemas y Telecomunicaciones - Carrera de Informática | 005.1 IRAl (Navegar estantería(Abre debajo)) | Disponible | BG0008246 |
Incluye figuras, tablas, bibliografía
Introducción a la lógica.-- Presentación de los sistemas lógicos.-- Lógica de proposiciones.-- Semántica.-- El lenguaje formal de la lógica de enunciados.-- Álgebra de boole y operadores booleanos.-- Tablas de verdad y funciones de verdad.-- Valoración y equivalencia lógica.-- Cálculo axiomático y propiedades formales.-- Lenguaje objeto y metalenguaje.-- Cálculo de deducción natural.-- Lógica de predicados.-- Cálculo Axiomático y propiedades formales formales.-- Cálculo de deducción natural.-- Extensiones de la lógica de predicados.-- Fundamentos de matemáticas
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.